121. Petri net algebra
پدیدآورنده: Eike Best; Raymond Devillers; Maciej Koutny
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics.,Parallel processing (Electronic computers),Petri nets.
رده :
QA76
.
58
E354
2010
122. Petri net algebra
پدیدآورنده: Best, Eike
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer science-- Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
123. Practical binary analysis :
پدیدآورنده: by Dennis Andriesse.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Linux.,Linux.,Assembly languages (Electronic computers),Binary system (Mathematics),Disassemblers (Computer programs),Assembly languages (Electronic computers),Binary system (Mathematics),COMPUTERS / Operating Systems / Linux.,Disassemblers (Computer programs)
رده :
QA76
.
76
.
D57
124. Predicate transformer semantics
پدیدآورنده: Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
رده :
QA
76
.
7
.
M342
1992
125. Principles of computer programming : a mathematical approach
پدیدآورنده: Harlan D. Mills ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
P743
1987
126. Principles of computer science
پدیدآورنده: / Cullen Schaffer
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer science - Mathematics,Electronic digital computers - programming
رده :
QA
76
.
9
.
M35S3
1988
127. Problem solving and computer programming
پدیدآورنده: Grogono, Peter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,Problems, exercises, etc - Data processing ، Mathematics,Data processing ، Problem solving
رده :
QA
76
.
6
.
G758
1982
128. Problem solving and computer programming
پدیدآورنده: Grogono, Peter.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Electronic digital computers - orogramming,، Mathematics - Problems, exercises, etc- Data processing,، Problem solving - data processing
رده :
QA
76
.
6
.
G758
129. Programming and mathematical method
پدیدآورنده: Edited by manfred broy
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
130. Programming and mathematical method
پدیدآورنده: Edited by manfred broy
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
131. Programming and mathematical method
پدیدآورنده: edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
P752
1992
132. Random processes in physical systems : an introduction to probability-based computer simulations
پدیدآورنده: Whitney, Charles Allen.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Computer simulation ، Science,، Random walks )Mathematics(,، Programming )Electronic computers(
رده :
Q
183
.
9
.
W49
1990
133. Random processes in physical systems : an introduction to probability-based computer simulations
پدیدآورنده: Whitney, Charles Allen.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Science-- Computer simulation,، Random walks )Mathematics(,، Programming )Electronic computers(
رده :
Q
183
.
9
.
W49
1990
134. Relational methods in computer science
پدیدآورنده: C. Brink, W. Kahl, G. Schmidt )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming , Mathematics
رده :
QA
76
.
6
.
R442
1997
135. Samopodobie i fraktaly :
پدیدآورنده: O.I. Shelukhin, A.V. Osin, S.M. Smolʹskiĭ.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic computers. Computer science.,Mathematics.,Physics.,Science.,Telecommunication.
136. Semantics and algebraic specificatio
پدیدآورنده: / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
137. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
138. Semantics of the probabilistic typed lambda calculus : Markov Chain semantics, termination behavior, and denotational semantics
پدیدآورنده: Draheim, Dirk, 9691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,Mathematics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
D72S4
139. Simple digital computing examples
پدیدآورنده: Gregory, Malcolm S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
140. Studies in computer science
پدیدآورنده: POLLACK,SEYMOUR V
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DATA PROCESSING-ADDRESSES, , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , MATHEMATICS-DATA PROCESSING-
رده :
QA
76
.
24
.
S78
